Deterministic finite automaton